모금 9월 15일 2024 – 10월 1일 2024 모금에 대해서
1
Language, Proof and Logic

Language, Proof and Logic

년:
2011
언어:
english
파일:
PDF, 2.19 MB
5.0 / 5.0
english, 2011
2
Selected papers on computer science

Selected papers on computer science

년:
1999
언어:
english
파일:
DJVU, 3.13 MB
0 / 0
english, 1999
3
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

년:
1999
언어:
english
파일:
PDF, 2.25 MB
5.0 / 0
english, 1999
4
Companion to the Papers of Donald Knuth

Companion to the Papers of Donald Knuth

년:
2012
언어:
english
파일:
DJVU, 4.00 MB
0 / 0
english, 2012
5
Selected papers on discrete mathematics

Selected papers on discrete mathematics

년:
2001
언어:
english
파일:
DJVU, 5.22 MB
0 / 0
english, 2001
6
Lexical Functional Grammar

Lexical Functional Grammar

년:
2001
언어:
english
파일:
PDF, 1.75 MB
5.0 / 0
english, 2001
7
A Natural History of Negation

A Natural History of Negation

년:
2001
언어:
english
파일:
PDF, 38.29 MB
5.0 / 5.0
english, 2001
8
Selected papers on fun & games

Selected papers on fun & games

년:
2011
언어:
english
파일:
PDF, 20.79 MB
0 / 0
english, 2011
9
Tarski's World: Revised and Expanded

Tarski's World: Revised and Expanded

년:
2007
언어:
english
파일:
PDF, 1.37 MB
0 / 0
english, 2007
10
English syntax : an introduction

English syntax : an introduction

년:
2007
언어:
english
파일:
PDF, 819 KB
5.0 / 0
english, 2007
11
Modal Logic for Open Minds

Modal Logic for Open Minds

년:
2000
언어:
english
파일:
PDF, 2.13 MB
0 / 0
english, 2000
12
Literate Programming

Literate Programming

년:
1992
언어:
english
파일:
DJVU, 2.74 MB
5.0 / 4.5
english, 1992
13
Modal Logic for Open Minds

Modal Logic for Open Minds

년:
2000
언어:
english
파일:
DJVU, 2.75 MB
5.0 / 5.0
english, 2000
14
Phrase Structure and Grammatical Relations in Tagalog

Phrase Structure and Grammatical Relations in Tagalog

년:
1992
언어:
english
파일:
PDF, 7.67 MB
5.0 / 0
english, 1992
15
Selected Papers on Computer Languages

Selected Papers on Computer Languages

년:
2002
언어:
english
파일:
DJVU, 4.58 MB
0 / 0
english, 2002
16
The situation in logic

The situation in logic

년:
1989
언어:
english
파일:
DJVU, 4.39 MB
5.0 / 0
english, 1989
17
Language, Proof and Logic

Language, Proof and Logic

년:
2002
언어:
english
파일:
PDF, 3.10 MB
0 / 0
english, 2002
19
Selected Papers on Design of Algorithms (for Algorithmix)

Selected Papers on Design of Algorithms (for Algorithmix)

년:
2010
언어:
english
파일:
DJVU, 8.18 MB
0 / 0
english, 2010
20
Representation and Invariance of Scientific Structures

Representation and Invariance of Scientific Structures

년:
2001
언어:
english
파일:
PDF, 7.69 MB
0 / 0
english, 2001
21
Introduction to natural language semantics

Introduction to natural language semantics

년:
1998
언어:
english
파일:
DJVU, 1.84 MB
0 / 0
english, 1998
22
Digital Typography (CSLI Lecture Notes Number 78)

Digital Typography (CSLI Lecture Notes Number 78)

년:
2016
언어:
english
파일:
PDF, 85.36 MB
5.0 / 0
english, 2016
23
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

년:
1996
언어:
english
파일:
PDF, 15.43 MB
0 / 0
english, 1996
24
Language, Proof and Logic [CD-ROM]

Language, Proof and Logic [CD-ROM]

년:
2002
언어:
english
파일:
RAR, 46.74 MB
0 / 0
english, 2002
25
Necessity or Contingency: The Master Argument

Necessity or Contingency: The Master Argument

년:
1996
언어:
english
파일:
PDF, 14.94 MB
5.0 / 5.0
english, 1996
26
Beyond grammar: an experience-based theory of language

Beyond grammar: an experience-based theory of language

년:
1998
언어:
english
파일:
PDF, 6.38 MB
0 / 0
english, 1998
27
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

년:
2003
언어:
english
파일:
DJVU, 4.01 MB
0 / 0
english, 2003
28
Selected Papers on Computer Languages

Selected Papers on Computer Languages

년:
2002
언어:
english
파일:
DJVU, 4.98 MB
0 / 0
english, 2002
29
Non-Well-Founded Sets

Non-Well-Founded Sets

년:
1988
언어:
english
파일:
PDF, 4.46 MB
0 / 0
english, 1988
30
A Manual of Intensional Logic

A Manual of Intensional Logic

년:
1988
언어:
english
파일:
PDF, 37.48 MB
5.0 / 0
english, 1988
31
Hyperproof

Hyperproof

년:
1994
언어:
english
파일:
PDF, 11.94 MB
0 / 0
english, 1994
32
A Constructional Approach to Resultatives

A Constructional Approach to Resultatives

년:
2003
언어:
english
파일:
PDF, 26.07 MB
0 / 0
english, 2003
33
The Linguistics of Punctuation

The Linguistics of Punctuation

년:
1990
언어:
english
파일:
DJVU, 13.05 MB
0 / 0
english, 1990
34
Logics of Time and Computation

Logics of Time and Computation

년:
1992
언어:
english
파일:
PDF, 5.61 MB
0 / 0
english, 1992
35
Literature and Cognition

Literature and Cognition

년:
1990
언어:
english
파일:
PDF, 9.06 MB
0 / 0
english, 1990
36
Formal Issues in Lexical-Functional Grammar

Formal Issues in Lexical-Functional Grammar

년:
1994
언어:
english
파일:
PDF, 7.05 MB
5.0 / 0
english, 1994
38
Defending AI Research: A Collection of Essays and Reviews

Defending AI Research: A Collection of Essays and Reviews

년:
1996
언어:
english
파일:
PDF, 5.40 MB
0 / 0
english, 1996
39
Dynamics of Reason

Dynamics of Reason

년:
2001
언어:
english
파일:
DJVU, 1.34 MB
5.0 / 5.0
english, 2001
40
Mathematics of modality

Mathematics of modality

년:
1993
언어:
english
파일:
PDF, 11.27 MB
0 / 0
english, 1993
41
Lexical Matters

Lexical Matters

년:
1992
언어:
english
파일:
PDF, 8.39 MB
5.0 / 0
english, 1992
42
The grammar of negation: A constraint-based approach [PhD Thesis]

The grammar of negation: A constraint-based approach [PhD Thesis]

년:
2000
언어:
english
파일:
DJVU, 2.17 MB
5.0 / 5.0
english, 2000
43
Mathematical Reasoning with Diagrams

Mathematical Reasoning with Diagrams

년:
2001
언어:
english
파일:
PDF, 1.55 MB
0 / 0
english, 2001
44
Ambiguity Resolution in Language Learning: Computational and Cognitive Models

Ambiguity Resolution in Language Learning: Computational and Cognitive Models

년:
1997
언어:
english
파일:
PDF, 11.07 MB
0 / 0
english, 1997
45
Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

년:
2002
언어:
english
파일:
PDF, 38.71 MB
0 / 0
english, 2002
46
LANGUAGE, PROOF AND LOGIC 2nd Edition

LANGUAGE, PROOF AND LOGIC 2nd Edition

년:
2011
언어:
english
파일:
PDF, 2.22 MB
0 / 5.0
english, 2011
47
Bantu Historical Linguistics: Theoretical and Empirical Perspectives

Bantu Historical Linguistics: Theoretical and Empirical Perspectives

년:
1999
언어:
english
파일:
PDF, 34.88 MB
0 / 0
english, 1999
48
Online Deliberation: Design, Research, and Practice

Online Deliberation: Design, Research, and Practice

년:
2009
언어:
english
파일:
PDF, 12.66 MB
0 / 0
english, 2009
49
Representation and Invariance of Scientific Structures

Representation and Invariance of Scientific Structures

년:
2002
언어:
english
파일:
PDF, 7.55 MB
0 / 0
english, 2002
50
Formal Issues in Lexical-Functional Grammar

Formal Issues in Lexical-Functional Grammar

년:
1994
언어:
english
파일:
PDF, 7.79 MB
5.0 / 0
english, 1994